FORMAL DECLARATION